A Theory of <0 1981 by Car

نویسنده

  • Dana Scott
چکیده

Technical Monograph PRG-16 May 1981 Oxford University Computing Laboratory. Programming Research Group. 45 Banbury Road. Oxford. OX2 6PE A mathematical model for communicating sequential processes Is given. and a number of Its Interesting and useful properties are stated. The possibilities of non-determinism are fully taken into account.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Car Use Behavioral Study for Commuting Trips: Parents’ Work Trips and Children’s School Trips

Negative consequences of car use along with deficiencies for investment in environmental friendly modes, have driven authorities to search for soft measure in order to encourage people for modal shift. The main objective of this study is to propose a model which describes car use behavior on parents’ work trips and how this relates to mode choice regarding their children’s school trips. A quest...

متن کامل

Provision of car parking space in the residential neighborhoods: A development control challenge in urban areas

Although a substantial body of research concurs that most urban areas have a challenge in providing adequate car parking space, there is a scarcity in the literature on how conformity to planning standards that regulates the provision of car parking spaces may be analyzed. This study, therefore, examines the extent to which the planning standards that regulate compliance with the provision of c...

متن کامل

Modeling and simulation of the acoustic behavior of a muffler in a passenger car exhaust system

Muffler is one of the main components of an automotive exhaust system, which reduces the noise of the exhaust system. In this paper, modeling and simulation of the acoustic behavior of a muffler is presented with the aid of  an engineering software. For this purpose, firstly, an analytical model is presented to evaluate the sound transmission loss in cylindrical shells based on Sander's theory....

متن کامل

An Analysis of the Relationship between Monetary-Exchange Rate Policies and the public Debt and Theirs Effects on Inflation and Economic Growth in Iran

 Governments attempt to achieve the goals of low inflation rate and sustainable economic growth rate. The objective of this study is to analyze the roles of determinants such as the liquidity of money, weighted average of interest (profit) rate on banking deposits, exchange rate and the public debt on inflation and economic growth in Iran, using the quarterly data during the period of 1989-2008...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1981